北桥设计中的总线周期精确事务级建模

总线周期精确事务级建模能解决系统设计中的仿真精度和速度之间的矛盾。以北桥中的总线设计为背景,采用SystemC中接口方法调用的原理,实现了对Wishbone总线的周期精确事物级建模,并给出了具体的实现方法和测试方法,具有一定的通用性。     

完善关联交易的法律对策

伴随我国证券市场的发展,产生了大量侵害中小投资者及债权人利益的违法事件,其最主要原因是过于频繁、数额巨大的关联交易。拟从关联交易的利弊分析,提出规范关联交易的对策。     

户籍制度改革与劳动力资源配置

分析了现行户籍制度的弊端：劳动力市场多重分隔、劳动力交易成本居高不下、劳动力的非正常供给和劳动力的逆向需求。针对存在的问题，从劳动力资源合理配置的角度，提出了渐进性户籍制度改革的总体思路和具体措施。     

有交易费用的衍生物定价模型

该文对考虑交易费费用的衍生物定价方程进行了研究，证明了在一定条件下其可化为线性偏微分方程求解，并得出了具体的定价公式。     

电子商务安全探讨和网上交易规范设计

首先探讨了电子商务活动中所面临的安全威胁和防范措施,然后在介绍网上交易基本概念的基础上,进一步阐述了网上交易的基本原则和网上交易服务提供者的规范行为。     

交易效率对企业理论的补充作用

介绍了企业理论的发展过程,分析了交易效率对企业和企业所有者的影响。     

中间件技术在电信综合业务管理系统中的应用

简要介绍电信综合业务计算机管理系统TSIS的一些情况，着重讨论了用中间件技术开发分布式事务处理系统的方法，并提供了用中间件实现分布式事务处理系统的关键技术。     

一个扩展的含资本结构因子和交易成本的证券组合投资模型

通过在经典的投资组合Markowitz均值-方差模型基础上引入资本结构因子和交易成本系数，建立了考虑交易成本和资本结构因子的投资组合最优化模型，给出了最优投资比例公式，讨论了交易成本及资本结构变化对有效边界的影响．最后通过实例进行了说明．     

基于Lie代数解法的时间依赖型期权模型

以Fokker-P lanck方程和L ie代数为基础,通过对时间依赖型期权定价模型的研究,结合有交易费的欧式期权的定价公式,运用证券组合技术与无套利原理,推导出时间依赖型有交易费的期权定价模型。通过对方程的化简、分析,在一定的条件下将非线性的期权定价模型化为线性的Fokker-P lanck方程的类型进行求解,并得出具体的有交易费的时间依赖型期权定价公式。     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．